Cartesian closed stable categories q
نویسنده
چکیده
The aim of this paper is to establish some Cartesian closed categories which are between the two Cartesian closed categories: SLP (the category of L-domains and stable functions) and DI (the full subcategory of SLP whose objects are all dI-domains). First we show that the exponentials of every full subcategory of SLP are exactly the spaces of stable functions. Then we prove that the full subcategories SDMBC, SDCBC and SDABC of SLP which contain DI are all Cartesian closed, where the objects of SDMBC (resp., SDCBC, SDABC) are all distributive bc-domains which are meet-continuous (resp., continuous, algebraic). We also obtain many non-Cartesian closed full subcategories of SLP and present some reflective relations between those categories concerned. 2004 Elsevier Inc. All rights reserved.
منابع مشابه
Cartesian-closedness of the category of $L$-fuzzy Q-convergence spaces
The definition of $L$-fuzzy Q-convergence spaces is presented by Pang and Fang in 2011. However, Cartesian-closedness of the category of $L$-fuzzy Q-convergence spaces is not investigated. This paper focuses on Cartesian-closedness of the category of $L$-fuzzy Q-convergence spaces, and it is shown that the category $L$-$mathbf{QFCS}$ of $L$-fuzzy Q-convergence spaces is Cartesian-closed.
متن کاملDescent in Monoidal Categories
We consider a symmetric monoidal closed category V = (V ,⊗, I, [−,−]) together with a regular injective object Q such that the functor [−, Q] : V → V op is comonadic and prove that in such a category, as in the monoidal category of abelian groups, a morphism of commutative monoids is an effective descent morphism for modules if and only if it is a pure monomorphism. Examples of this kind of mon...
متن کاملCartesian Closure for Stable Categories (draft)
Exercises 1.2 (a) Composition in RC is well-defined by representatives. (b) A morphism of RC is invertible ⇐⇒ it is a class of strong equivalences ⇐⇒ its counit is an isomorphism. (c) Objects of RC are isomorphic iff they are equivalent categories. (d) RC/T ' Copt(T ) (?). Rigid comparisons embody an important idea from domain theory: approximation. This must have the property that if X ′ appro...
متن کاملStratified $(L,M)$-fuzzy Q-convergence spaces
This paper presents the concepts of $(L,M)$-fuzzy Q-convergence spaces and stratified $(L,M)$-fuzzy Q-convergence spaces. It is shown that the category of stratified $(L,M)$-fuzzy Q-convergence spaces is a bireflective subcategory of the category of $(L,M)$-fuzzy Q-convergence spaces, and the former is a Cartesian-closed topological category. Also, it is proved that the category of stratified $...
متن کاملDependent Cartesian Closed Categories
We present a generalization of cartesian closed categories (CCCs) for dependent types, called dependent cartesian closed categories (DCCCs), which also provides a reformulation of categories with families (CwFs), an abstract semantics for Martin-Löf type theory (MLTT) which is very close to the syntax. Thus, DCCCs accomplish mathematical elegance as well as a direct interpretation of the syntax...
متن کامل